package interfaces.managers;

import interfaces.IIncidencia;
import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;
import tdg.contract.semanticAnnotations.Model;

@Init ({""})
@Inv ({""})
@Model 
public interface ICreadorIncidenciasModel {
	/* si esta creada i devuelve cierto sino falso*/
	@Query
	@Pre ({"i!= null #NullPointerException"})
	public boolean existeIncidencia(IIncidencia i);
}
